let (|A|) x = ()
